$\forall$$p$, $q$:$\mathbb{P}$. ($p$ \& $p$ \& $q$) $\Leftarrow\!\Rightarrow$ ($p$ \& $q$)